"ANCAK VE ANCAK" Bağlacı

$⟺\text{ veya}\leftrightarrow \text{sembolu¨ ile go¨sterilir.}$

$\text{C¸ift yo¨nlu¨ kos¸ullu olasılık (Biconditional)}$

d3

1: $p⟺1\equiv p$

2:$p⟺p\equiv p$

2: $p⟺0\equiv 0$

3: $p⟺\neg p\equiv 0$

4: $p⟺q\equiv q⟺p$

5: $\boxed{p⟺q\equiv (p⟹q)\wedge (q⟹p)\equiv (\neg p\vee q)\wedge (\neg q\vee p)}$

• Olumsuzunu alırken
• Sadeleştirme sorularında